สมการเชิงอนุพันธ์อันดับหนึ่งและปัญหาค่าขอบเขต: ข้ามฟังก์ชันพื้นฐาน: พลังของวิธีการแก้โดยอนุกรม

แม้ว่าฟังก์ชันพื้นฐานอย่าง $\sin x$ และ $e^x$ จะเป็นไปตามสมการเชิงอนุพันธ์พื้นฐาน แต่ปรากฏการณ์ทางกายภาพจำนวนมาก เช่น การกระจายความร้อนหรือสถานะควอนตัม ถูกควบคุมโดยสมการที่ไม่มีคำตอบในรูปแบบปิด (closed-form) หน้านี้แนะนำอนุกรมเทย์เลอร์ในฐานะจุดเชื่อมโยงหลัก ซึ่งช่วยให้เราแสดงคำตอบที่ยังไม่ทราบได้ในรูปของอนุกรมกำลังอนันต์

โดยสมมติว่าคำตอบเป็น วิเคราะห์ได้ ที่จุดหนึ่ง เราจะเปลี่ยนปัญหาการแก้สมการเชิงอนุพันธ์ให้กลายเป็นปัญหาในการหาลำดับของสัมประสิทธิ์เชิงตัวเลข

1. รากฐานของความเป็นวิเคราะห์

ฟังก์ชัน $f$ ที่มีการขยายอนุกรมเทย์เลอร์เกี่ยวกับ $x = x_0$ โดยมีรัศมีการรวมตัว $\rho > 0$ เรียกว่าเป็น วิเคราะห์ได้ ที่ $x = x_0$ คุณสมบัตินี้เป็นเงื่อนไขเบื้องต้นสำหรับการมองหาคำตอบแบบอนุกรมของสมการเชิงอนุพันธ์ธรรมดา หากฟังก์ชันสัมประสิทธิ์ของสมการเชิงอนุพันธ์ของเราเป็นวิเคราะห์ได้ที่ $x_0$ คำตอบ $y(x)$ ก็จะต้องเป็นวิเคราะห์ได้ที่จุดนั้นเช่นกัน

2. การแทนค่าด้วยอนุกรมเทย์เลอร์

อนุกรม $\displaystyle f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$ เรียกว่าอนุกรมเทย์เลอร์ของฟังก์ชัน $f$ เกี่ยวกับ $x = x_0$ ในที่นี้ สัมประสิทธิ์ถูกกำหนดโดย:

$$\displaystyle a_n = \frac{f^{(n)}(x_0)}{n!}$$

สิ่งนี้เชื่อมโยงพฤติกรรมโดยรวมของฟังก์ชันกับอนุพันธ์ท้องถิ่นที่จุดเดียว

3. การรวมตัวและความถูกต้อง

คำตอบด้วยอนุกรมกำลังมีความหมายเฉพาะภายใน รัศมีการรวมตัว. ตัวอย่างเช่น แม้ว่าฟังก์ชันเอ็กซ์โพเนนเชียล $\displaystyle e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}$ จะรวมตัวสำหรับทุก $x$ ($\rho = \infty$) แต่อนุกรมอื่น ๆ ที่ได้จากสมการเชิงอนุพันธ์อาจรวมตัวได้เฉพาะระยะทางที่แน่นอนจากจุดเริ่มต้น $x_0$ ระยะทางนี้มักจะกำหนดโดย จุดที่ไม่สามารถแยกแยะได้ (สิงกูลาริตี้) (จุดที่สัมประสิทธิ์ของสมการล้มเหลว) ของสมการ

ตัวอย่าง: ค้นพบ $e^x$ โดยใช้สมการเชิงอนุพันธ์

พิจารณาสมการเชิงอนุพันธ์ $y' = y$ พร้อมเงื่อนไขเริ่มต้น $y(0)=1$ แทนที่จะเดาคำตอบ เราสมมติรูปแบบของอนุกรมกำลัง:

$$y(x) = \sum_{n=0}^{\infty} a_n x^n = a_0 + a_1x + a_2x^2 + \dots$$

การหาอนุพันธ์ได้ $y'(x) = \sum_{n=1}^{\infty} n a_n x^{n-1}$ การแทนค่าลงใน $y'=y$:

$$\sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} a_n x^n$$

ปรับดัชนีให้สอดคล้องกัน เราได้ $(n+1)a_{n+1} = a_n$ ซึ่งหมายความว่า $\displaystyle a_n = \frac{a_0}{n!}$ เนื่องจาก $y(0)=1$ ดังนั้น $a_0=1$ ผลลัพธ์คืออนุกรมเทย์เลอร์ของ $e^x$

🎯 หลักการสำคัญ

อนุกรมกำลังช่วยให้เรา 'ค้นพบ' ฟังก์ชันโดยการแปลปัญหาเชิงคำนวณเป็นความสัมพันธ์เชิงพีชคณิตแบบวนกลับ ความเป็นวิเคราะห์ได้ที่จุด $x_0$ รับรองว่าข้อมูลท้องถิ่นของสมการเชิงอนุพันธ์สามารถขยายไปยังบริเวณที่ถูกต้องได้

คำถามที่ 1

กำหนดรัศมีการรวมตัว (ρ) ของอนุกรมกำลัง: $\sum_{n=0}^{\infty} (x-3)^n$

ρ = 1

ρ = 3

ρ = ∞

ρ = 0

คำถามที่ 2

การแสดงผลด้วยอนุกรมเทย์เลอร์ของ $\sin x$ เกี่ยวกับ $x_0 = 0$ เป็นอย่างไร และรัศมีการรวมตัวคือเท่าใด?

$\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}$, ρ = ∞

$\sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!}$, ρ = ∞

$\sum_{n=0}^{\infty} \frac{(-1)^n x^{n}}{n!}$, ρ = 1

$\sum_{n=0}^{\infty} \frac{x^{2n+1}}{(2n+1)!}$, ρ = 0

คำถามที่ 3

หากฟังก์ชัน $f$ เป็นวิเคราะห์ได้ที่ $x = x_0$ ข้อใดต่อไปนี้ต้องเป็นจริง?

มีการขยายอนุกรมเทย์เลอร์ที่มีรัศมีการรวมตัว ρ > 0

มันเป็นพหุนามที่มีดีกรีจำกัด

อนุพันธ์ทุกอันเท่ากับศูนย์ที่ $x_0$

มันถูกกำหนดเฉพาะที่จุด $x_0$ เท่านั้น

คำถามที่ 4

สำหรับสมการเชิงอนุพันธ์ $y'' + p(x)y' + q(x)y = 0$ ขอบล่างของรัศมีการรวมตัวของคำตอบแบบอนุกรมที่จุด $x_0$ ถูกกำหนดอย่างไร?

ระยะทางจาก $x_0$ ไปยังจุดที่ไม่สามารถแยกแยะได้ (สิงกูลาริตี้) ที่ใกล้ที่สุดในระนาบเชิงซ้อน

ค่าของสัมประสิทธิ์คงที่ $a_0$

ดีกรีของพหุนาม $P(x)$

มันเป็นอนันต์เสมอสำหรับสมการเชิงเส้น

คำถามที่ 5

ในความสัมพันธ์แบบวนกลับที่ได้จาก $y' = y$ ค่าเฉพาะของสัมประสิทธิ์ $a_n$ เมื่อ $a_0 = 1$ คืออะไร?

$a_n = 1/n!$

$a_n = n!$

$a_n = 1$

$a_n = (-1)^n/n$

กรณีศึกษา: การวิเคราะห์จุดที่ไม่สามารถแยกแยะได้ และบริบทของเบเซล

การแก้โดยอนุกรมในระบบทางกายภาพ

ในฟิสิกส์คณิตศาสตร์ โดยเฉพาะเมื่อพิจารณาการนำความร้อนในทรงกระบอก เราจะเจอกับสมการเชิงอนุพันธ์ $x^2y'' + 2xy' + xy = 0$ เราต้องการตรวจสอบความถูกต้องของการแก้โดยอนุกรมที่จุด $x_0 = 0$

คำถามที่ 1

เขียนสมการใหม่ในรูปมาตรฐาน $y'' + p(x)y' + q(x)y = 0$ จุด $x_0 = 0$ เป็นจุดปกติหรือจุดที่ไม่สามารถแยกแยะได้?

วิธีทำ:
รูปมาตรฐาน: $y'' + (2/x)y' + (1/x)y = 0$
ที่นี่ $p(x) = 2/x$ และ $q(x) = 1/x$ เนื่องจากทั้งสองฟังก์ชันมีค่าเป็นอนันต์ที่ $x=0$ ดังนั้นไม่เป็นวิเคราะห์ได้ที่จุดนั้น ดังนั้น $x_0 = 0$ จึงเป็น จุดที่ไม่สามารถแยกแยะได้เราไม่สามารถสมมติว่ามีคำตอบแบบเทย์เลอร์ง่าย ๆ ที่จุดนี้ได้ จำเป็นต้องใช้วิธีของโฟรีเนียส

คำถามที่ 2

กำหนดขอบล่างของรัศมีการรวมตัวของคำตอบแบบอนุกรมสำหรับสมการ $(1+x^2)y'' + 2xy' + 4x^2y = 0$ ที่จุด $x_0 = 0$

วิธีทำ:
จุดที่ไม่สามารถแยกแยะได้เกิดที่ที่ $P(x) = 1+x^2 = 0$ ซึ่งคือ $x = \pm i$ จุดเริ่มต้นคือ $x_0 = 0$ ระยะทางในระนาบเชิงซ้อนจาก $0$ ไปยัง $i$ (หรือ $-i$) คือ $|0 - i| = 1$
ดังนั้น ขอบล่างของรัศมีการรวมตัวคือ ρ = 1.

คำถามที่ 3

ใช้ตรรกะความสัมพันธ์แบบวนกลับที่ให้มา เพื่อแสดงว่าถ้า $a_{n+2} = \frac{a_n}{(n+2)(n+1)}$ และ $y(0)=1, y'(0)=0$ คำตอบคือ $\cosh(x)$

วิธีทำ:
1. จาก $y'(0)=0$ ดังนั้น $a_1 = 0$ ทำให้สัมประสิทธิ์คี่ทั้งหมดเป็นศูนย์ ($a_1, a_3, a_5... = 0$)
2. สำหรับสัมประสิทธิ์คู่: $a_2 = a_0/(2\cdot 1)$, $a_4 = a_2/(4\cdot 3) = a_0/(4!)$ และทั่วไปคือ $a_{2n} = a_0/(2n)!$
3. โดยที่ $a_0 = y(0) = 1$ อนุกรมคือ $\sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!}$ ซึ่งเป็นอนุกรมเทย์เลอร์ของ $\cosh(x)$